A Static Business Level Verification Framework for Cross-Organizational Business Process Models using SWRL

نویسندگان

  • Kioumars Namiri
  • M.-M. Kügler
  • Nenad Stojanovic
چکیده

In this paper we introduce a solution for the problem of the design-time verification of cross-organizational business processes. The configuration of the processes can be checked in order to examine whether it fulfills a certain set of business level requirements. A formal Ontology in OWL for these kinds of processes is provided, so logic mechanisms for the verification are applied. The business level requirements are expressed in SWRL. A demonstrable implementation integrated in an already existing business process modeling tool has been developed.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Developing customer relationship management (CRM) processes using standard frameworks and MCDM techniques

Organizations have found that functional approach to business destroys flexibility and agility by gaining experience over the time. The main weakness with Task-based organizations is that they can hardly act flexibly and adapt themselves to the changing environment. In today’s' dynamic and competitive business world, organizations focus significantly on managing and improving their business pro...

متن کامل

A Three-Layer Framework for Cross-Organizational e-Contract Enactment

In an e-commerce environment, contracts are important for attaining business process interoperability and enforcing their proper enactment. An e-contract is the computerized facilitation or automation of a contract in a cross-organizational business process. We find that econtract facilitation can be divided into multiple levels and perspectives, which has not been adequately addressed before. ...

متن کامل

Towards Business Level Verification of Cross- Organizational Business Processes

In this paper we present a novel approach for the verification of a business process configuration. The approach is formal, so that logic mechanisms are used in the verification process. The approach has been applied in the scope of the project ATHENA for the verification of cross organizational

متن کامل

Protos: a cross-organizational business modeling tool (demonstration)

Traditional approaches to cross-organizational business modeling use low-level abstractions such as data and control flow. These approaches result in rigid models that over-constrain business execution. Further, because such approaches ignore the underlying business relationships that drive process execution, they lack the notion of business level correctness. Telang and Singh [5] propose a hig...

متن کامل

University Business Model Framework

The purpose of this study is to provide a framework for the university business model as a solution for universities to cooperate with businesses. The method of the present study is a qualitative case study and the research method of document analysis, focal groups have been used to collect data. In the documentation section, 60 documents related to academic business models were selected and an...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2007